with Rational_Numbers;

package Rational_Numbers.Reducing_Relations is

   --   function "="(X,Y :Rational) return Boolean;
   function "<"(X,Y :Rational) return Boolean;
   function "<="(X,Y :Rational) return Boolean;
   function ">"(X,Y :Rational) return Boolean;
   function ">="(X,Y :Rational) return Boolean;

end Rational_Numbers.Reducing_Relations;
